Index: gap-4r8p3/src/sysfiles.c
===================================================================
--- gap-4r8p3.orig/src/sysfiles.c	2016-04-30 17:34:02.807153544 +0200
+++ gap-4r8p3/src/sysfiles.c	2016-04-30 17:34:54.347858799 +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 ) {
@@ -1413,9 +1417,11 @@
        Later we might want to do something cleverer with throwing an 
        exception or dealing better if this isn't our timer     */
   assert( signr == TIMER_SIGNAL);
+#ifdef __linux__
   assert( si->si_signo == TIMER_SIGNAL);
   assert( si->si_code == SI_TIMER);
   assert( si->si_value.sival_int == 0x12345678 );
+#endif
   SyAlarmRunning = 0;
   SyAlarmHasGoneOff = 1;
   InterruptExecStat();
