diff --git a/src/os_unix.h b/src/os_unix.h
index c3a7fec..00ae239 100644
--- a/src/os_unix.h
+++ b/src/os_unix.h
@@ -128,10 +128,7 @@
 # endif
 #endif
 
-// on some systems time.h should not be included together with sys/time.h
-#if !defined(HAVE_SYS_TIME_H) || defined(TIME_WITH_SYS_TIME)
-# include <time.h>
-#endif
+#include <time.h>
 #ifdef HAVE_SYS_TIME_H
 # include <sys/time.h>
 #endif
diff --git a/src/version.c b/src/version.c
index 0422787..370c4d0 100644
--- a/src/version.c
+++ b/src/version.c
@@ -735,6 +735,8 @@
 static int included_patches[] =
 {   /* Add new patch number below this line */
 /**/
+    5139,
+/**/
     5138,
 /**/
     5137,