diff --git a/osdep/timer-linux.c b/osdep/timer-linux.c
index 5b6010b154..579c284019 100644
--- a/osdep/timer-linux.c
+++ b/osdep/timer-linux.c
@@ -65,7 +65,8 @@ void InitTimer(void){
 
 
 #if 0
-void main(void){
+#include <stdio.h>
+int main(void){
   float t=0;
   InitTimer();
   while(1){ t+=GetRelativeTime();printf("time= %10.6f\r",t);fflush(stdout); }