--- konsole/src/TEShell.C.orig	Mon Apr 12 09:12:37 1999
+++ konsole/src/TEShell.C	Sat May  8 08:40:52 1999
@@ -63,9 +63,9 @@
 #include <fcntl.h>
 #include <unistd.h>
 #include <sys/ioctl.h>
-#ifdef TIME_WITH_SYS_TIME
+/*#ifdef TIME_WITH_SYS_TIME*/
 #include <sys/time.h>
-#endif
+/*#endif*/
 #include <sys/resource.h>
 #include <grp.h>
 #include "../../config.h"
