diff --git a/configure.ac b/configure.ac
index e8305fe0e..b2f623342 100644
--- a/configure.ac
+++ b/configure.ac
@@ -1214,15 +1214,8 @@ AC_CHECK_MEMBERS([struct stat.st_rdev, struct stat.st_blksize, struct stat.st_bl
 AC_STRUCT_TIMEZONE
 AC_CHECK_MEMBERS([struct tm.tm_gmtoff],,,
 [#include <time.h>
-#ifdef TIME_WITH_SYS_TIME
+#if HAVE_SYS_TIME_H
 # include <sys/time.h>
-# include <time.h>
-#else
-# if HAVE_SYS_TIME_H
-#  include <sys/time.h>
-# else
-#  include <time.h>
-# endif
 #endif
 ])
 GUILE_STRUCT_UTIMBUF
diff --git a/libguile/filesys.c b/libguile/filesys.c
index c76f407c2..f420b9576 100644
--- a/libguile/filesys.c
+++ b/libguile/filesys.c
@@ -79,15 +79,9 @@ void *alloca (size_t);
 #include <direct.h>
 #endif
 
-#ifdef TIME_WITH_SYS_TIME
+#include <time.h>
+#if HAVE_SYS_TIME_H
 # include <sys/time.h>
-# include <time.h>
-#else
-# if HAVE_SYS_TIME_H
-#  include <sys/time.h>
-# else
-#  include <time.h>
-# endif
 #endif
 
 #ifdef HAVE_UNISTD_H
diff --git a/libguile/gen-scmconfig.c b/libguile/gen-scmconfig.c
index c94f3904d..f02f91889 100644
--- a/libguile/gen-scmconfig.c
+++ b/libguile/gen-scmconfig.c
@@ -151,18 +151,10 @@ main (int argc, char *argv[])
   pf ("/* limits.h not available */\n");
 #endif
 
-# ifdef TIME_WITH_SYS_TIME
-  pf ("#include <sys/time.h>\n");
   pf ("#include <time.h>\n");
-# else
-#  ifdef HAVE_SYS_TIME_H
+#ifdef HAVE_SYS_TIME_H
   pf ("#include <sys/time.h>\n");
-#  else
-#   ifdef HAVE_TIME_H
-  pf ("#include <time.h>\n");
-#   endif
-#  endif
-# endif
+#endif
 
   pf("\n");
 #ifdef STDC_HEADERS
diff --git a/libguile/posix.c b/libguile/posix.c
index 9e32feb3a..7abc91cb0 100644
--- a/libguile/posix.c
+++ b/libguile/posix.c
@@ -46,15 +46,9 @@
 #ifdef HAVE_STRING_H
 #include <string.h>
 #endif
-#ifdef TIME_WITH_SYS_TIME
+#include <time.h>
+#if HAVE_SYS_TIME_H
 # include <sys/time.h>
-# include <time.h>
-#else
-# if HAVE_SYS_TIME_H
-#  include <sys/time.h>
-# else
-#  include <time.h>
-# endif
 #endif
 
 #ifdef HAVE_UNISTD_H