diff --git a/rune/libenclave/internal/runtime/pal/skeleton/pal.h b/rune/libenclave/internal/runtime/pal/skeleton/pal.h
deleted file mode 100644
index 53d52d4c4b14629d13a8c7a121f0c9ee9294468f..0000000000000000000000000000000000000000
--- a/rune/libenclave/internal/runtime/pal/skeleton/pal.h
+++ /dev/null
@@ -1,5 +0,0 @@
-int pal_skeleton_init(char *instance_path);
-int pal_skeleton_exec(char *path, char *argv[], int *exit_value,
-			int stdin_fd, int stdout_fd, int stderr_fd);
-int pal_skeleton_kill(int sig, int pid);
-int pal_skeleton_destroy();