Index: gap-4r8p4/src/sysfiles.c
===================================================================
--- gap-4r8p4.orig/src/sysfiles.c	2016-06-11 12:11:08.000000000 +0200
+++ gap-4r8p4/src/sysfiles.c	2016-06-11 12:11:56.588071246 +0200
@@ -1392,7 +1392,11 @@
 #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 ) {
