diff --git a/LibOS/shim/test/native/Makefile b/LibOS/shim/test/native/Makefile
index e34e95ee..54b3702f 100644
--- a/LibOS/shim/test/native/Makefile
+++ b/LibOS/shim/test/native/Makefile
@@ -1,9 +1,8 @@
-special_executables = static pie
-c_executables = $(filter-out $(special_executables),$(patsubst %.c,%,$(wildcard *.c)))
+c_executables = $(patsubst %.c,%,$(wildcard *.c))
 cxx_executables = $(patsubst %.cpp,%,$(wildcard *.cpp))
 manifests = $(patsubst %.template,%,$(wildcard *.manifest.template)) manifest
 
-exec_target = $(special_executables) $(c_executables) $(cxx_executables) ls.manifest
+exec_target = $(c_executables) $(cxx_executables) ls.manifest
 target = $(exec_target) $(manifests)
 
 level = ../
@@ -20,18 +19,8 @@ $(cxx_executables): %: %.cpp
 	@$(CXX) -MD -MP $(CXXFLAGS) $(if $(findstring .libos,$@),$(CFLAGS-libos),) -o $@ $< \
 	$(shell echo $@ | sed 's/^[^\.]*//g' | sed 's/\./ -l/g')
 
-static: %: %.c
-	@echo [ $@ ]
-	@$(CC) -MD -MP $(CFLAGS) -o $@ -static $< \
-	$(shell echo $@ | sed 's/^[^\.]*//g' | sed 's/\./ -l/g')
-
-pie: %: %.c
-	@echo [ $@ ]
-	@$(CC) -MD -MP $(CFLAGS) -fPIC --pie -o $@ $< \
-	$(shell echo $@ | sed 's/^[^\.]*//g' | sed 's/\./ -l/g')
-
 include $(wildcard *.d)
 else
-.IGNORE: $(special_executables) $(c_executables) $(cxx_executables)
-$(special_executables) $(c_executables) $(cxx_executables):
+.IGNORE: $(c_executables) $(cxx_executables)
+$(c_executables) $(cxx_executables):
 endif
diff --git a/LibOS/shim/test/native/pie.c b/LibOS/shim/test/native/pie.c
deleted file mode 100644
index 636cf0c9..00000000
--- a/LibOS/shim/test/native/pie.c
+++ /dev/null
@@ -1,9 +0,0 @@
-/* a simple helloworld test */
-
-#include <stdio.h>
-
-int main(int argc, char ** argv)
-{
-    printf("Hello world (%s)!\n", argv[0]);
-    return 0;
-}
diff --git a/LibOS/shim/test/native/static.c b/LibOS/shim/test/native/static.c
deleted file mode 100644
index 636cf0c9..00000000
--- a/LibOS/shim/test/native/static.c
+++ /dev/null
@@ -1,9 +0,0 @@
-/* a simple helloworld test */
-
-#include <stdio.h>
-
-int main(int argc, char ** argv)
-{
-    printf("Hello world (%s)!\n", argv[0]);
-    return 0;
-}