diff --git a/patches/NDK_3.9/Include/include_h/devices/timer.h.diff b/patches/NDK_3.9/Include/include_h/devices/timer.h.diff
index 83c5a26..883f80e 100644
--- a/patches/NDK_3.9/Include/include_h/devices/timer.h.diff
+++ b/patches/NDK_3.9/Include/include_h/devices/timer.h.diff
@@ -1,11 +1,18 @@
---- /old/Include/include_h/devices/timer.h	2001-12-17 14:03:44.000000000 +0100
-+++ /new/Include/include_h/devices/timer.h	2018-05-07 09:55:38.850775200 +0200
-@@ -31,6 +31,8 @@
+--- /old/Include/include_h/devices/timer.h	2020-03-15 21:42:33.285184100 +0100
++++ /new/Include/include_h/devices/timer.h	2020-03-15 21:43:10.704643200 +0100
+@@ -27,10 +27,15 @@
+ 
+ #define TIMERNAME	"timer.device"
+ 
++#ifndef _TIMEVAL_DEFINED
++#define _TIMEVAL_DEFINED
+ struct timeval {
      ULONG tv_secs;
      ULONG tv_micro;
  };
 +#define tv_sec tv_secs
-+#define tv_usec tv_micro 
++#define tv_usec tv_micro
++#endif
  
  struct EClockVal {
      ULONG ev_hi;