diff -r e5d7f4412a4c -r 18db803e593f drivers/timers_win32/timers_win32.c
--- a/drivers/timers_win32/timers_win32.c	Mon Jul 20 10:55:11 2009 +0200
+++ b/drivers/timers_win32/timers_win32.c	Mon Jul 20 10:56:08 2009 +0200
@@ -38,7 +38,7 @@
 HANDLE timer_thread = NULL;
 HANDLE timer = NULL;
 
-stop_timer=0;
+int stop_timer=0;
 
 static TimerCallback_t init_callback;