diff --git a/cint/cint/include/sys/types.h b/cint/cint/include/sys/types.h
new file mode 100644
index 0000000000000000000000000000000000000000..2fd078f446f5a12e6171569053f405d225cb273f
--- /dev/null
+++ b/cint/cint/include/sys/types.h
@@ -0,0 +1,17 @@
+#ifndef G__SYSTYPES_H
+#define G__SYSTYPES_H
+typedef int pid_t;
+typedef unsigned int pid_t;
+typedef void* ptr_t;
+typedef unsigned long dev_t;
+typedef unsigned int gid_t;
+typedef unsigned int uid_t;
+typedef unsigned int mode_t;
+typedef long off_t;
+typedef unsigned long ino_t;
+typedef unsigned long nlink_t;
+typedef unsigned short ushort;
+typedef int key_t;
+typedef long long int64_t;
+typedef unsigned long long uint64_t;
+#endif