 +  return enclave_lseek(file, ptr, dir);
 +}
 +
-+int _mkdir(const char *pathname, int mode)
++int _mkdir(const char *pathname, mode_t mode)
 +{
 +  return enclave_mkdir(pathname, mode);
 +}

+int enclave_read(int file, char *ptr, int len);
+void *enclave_sbrk(int incr);
+int enclave_stat(const char *file, struct stat *st);
+int enclave_times(struct tms *buf);
+int enclave_unlink(char *name);
+int enclave_wait(int *status);
+int enclave_write(int file, char *ptr, int len);

+  return enclave_stat(file, st);
+}
+
+clock_t _times(struct tms *buf)
+{
+  return enclave_times(buf);
+}
