--- bcm2835-vc-0.3.orig/interface/vcos/pthreads/vcos_platform.h	2013-09-27 14:22:08.000000000 +0200
+++ bcm2835-vc-0.3/interface/vcos/pthreads/vcos_platform.h	2013-10-13 20:20:55.000000000 +0200
@@ -120,9 +120,6 @@ typedef struct
 
 #define VCOS_ONCE_INIT        PTHREAD_ONCE_INIT
 
-#if defined(__arm__) && !defined(_HAVE_TIMER_T) && !defined(ANDROID)
-typedef __timer_t timer_t;
-#endif
 typedef struct VCOS_TIMER_T
 {
    pthread_t thread;                      /**< id of the timer thread */