System header overrides, required for some buggy headers - they should

but might not work with non-buggy versions of them - we'll see

This was SVN commit r82.

source/linux/ctime

@@ -0,0 +1 @@
+

source/linux/pthread.h

@@ -0,0 +1,7 @@
+#ifndef _bug_pthread_H
+#define _bug_pthread_H
+
+#include "posix.h"
+#include "/usr/include/pthread.h"
+
+#endif

source/linux/sys/time.h

@@ -0,0 +1,20 @@
+#ifndef _bug_time_H
+#define _bug_time_H
+
+#include "/usr/include/sys/time.h"
+
+#define __need_time_t
+#include <time.h>
+
+#ifndef __timespec_defined
+#define __timespec_defined 1
+struct timespec {
+	__time_t tv_sec;
+	long int tv_nsec;
+};
+#endif		
+
+typedef __time_t time_t;
+typedef __clockid_t clockid_t;
+
+#endif