Index: gap-4r8p3/src/sysfiles.c
===================================================================
--- gap-4r8p3.orig/src/sysfiles.c
+++ gap-4r8p3/src/sysfiles.c
@@ -1392,7 +1392,11 @@ static timer_t syTimer = 0;
 #if SYS_IS_CYGWIN32
 #define MY_CLOCK CLOCK_REALTIME
 #else
+#ifdef __linux__
 #define MY_CLOCK CLOCK_THREAD_CPUTIME_ID
+#else
+#define MY_CLOCK CLOCK_REALTIME
+#endif
 #endif
 
 static void SyInitAlarm( void ) {
