--- bcm2835-vc-0.3.orig/interface/vcos/pthreads/vcos_pthreads.c	2013-09-27 14:22:08.000000000 +0200
+++ bcm2835-vc-0.3/interface/vcos/pthreads/vcos_pthreads.c	2013-10-14 19:44:50.000000000 +0200
@@ -580,7 +580,7 @@ const char ** vcos_get_argv(void)
  */
 uint32_t _vcos_get_ticks_per_second(void)
 {
-   return HZ;
+   return 100;
 }
 
 VCOS_STATUS_T vcos_once(VCOS_ONCE_T *once_control,
