--- a/runtime/plc_Linux_main.c	Fri Feb 08 18:35:30 2008 +0100
+++ b/runtime/plc_Linux_main.c	Mon Feb 11 10:26:08 2008 +0100
@@ -6,8 +6,7 @@
 
 void PLC_timer_notify(sigval_t val)
 {
-    struct timespec CURRENT_TIME;
-    clock_gettime(CLOCK_REALTIME, &CURRENT_TIME);
+    clock_gettime(CLOCK_REALTIME, &__CURRENT_TIME);
     __run();
 }