 +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);
++clock_t 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);
+}
+
+int _times(struct tms *buf)
+{
+  return enclave_times(buf);
+}

--- ../newlib-2.5.0.20170922/libgloss/enclave/enclave_syscalls.h
+++ ./libgloss/enclave/enclave_syscalls.h
@@ -0,0 +1,40 @@
+#ifndef THIRD_PARTY_NEWLIB_SRC_LIBGLOSS_ENCLAVE_ENCLAVE_SYSCALLS_H_
+#define THIRD_PARTY_NEWLIB_SRC_LIBGLOSS_ENCLAVE_ENCLAVE_SYSCALLS_H_
+
+#include <stdint.h>
+#include <sys/stat.h>
