  bool is_valid_sp(uintptr_t sp);
 --- /dev/null
 +++ BUILD
-@@ -0,0 +1,1210 @@
+@@ -0,0 +1,1207 @@
 +# linux-sgx is the Intel SGX SDK
 +
 +load(

+    copts = PSW_COMMON_INCLUDES + [
+        "-Iexternal/linux_sgx/common/inc/internal",
+        "-Iexternal/linux_sgx/common/inc/internal/linux",
+        "-Iexternal/linux_sgx/external/epid-sdk/ext/ipp/include",
+        "-Iexternal/linux_sgx/external/vtune/linux/include",
+        "-Iexternal/linux_sgx/external/vtune/linux/sdk/src/ittnotify",
+        "-Iexternal/linux_sgx/psw/ae/common",

+        "-Wa,--noexecstack",
+        "-Iexternal/linux_sgx/common/inc/internal",
+        "-Iexternal/linux_sgx/common/inc/internal/linux",
+        "-Iexternal/linux_sgx/sdk/simulation/uinst",
+        "-Iexternal/linux_sgx/psw/urts",
+        "-Iexternal/linux_sgx/psw/urts/linux",
