 diff -Nur /dev/null sgx_sdk.bzl
 --- /dev/null
 +++ sgx_sdk.bzl
-@@ -0,0 +1,999 @@
+@@ -0,0 +1,1004 @@
 +"""Build tools for supporting Intel's SDK."""
 +
 +load("@com_google_asylo_backend_provider//:enclave_info.bzl", "backend_tools")

* Change enclave_initialize in `psw/enclave_common/sgx_enclave_common.cpp` to
  use get_launch_token() instead of get_launch_token_function(), to avoid
  calling dlopen on a file at runtime.
--
diff -Nur common/inc/internal/elfheader/elf_common.h common/inc/internal/elfheader/elf_common.h
--- common/inc/internal/elfheader/elf_common.h

+_sim_backend_label = "@linux_sgx//:asylo_sgx_sim"
+SGX_BACKEND_LABELS = {
+    _hw_backend_label: backend_tools.all_labels[_hw_backend_label],
+    _sim_backend_label: backend_tools.all_labels[_sim_backend_label],
+}
+
+SIM_BACKEND_LABELS = {
+    _sim_backend_label: backend_tools.all_labels[_sim_backend_label],
+}
+
