1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 5291f81..a9a1741 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,7 @@
 BIN:=sil
 CLM:=clm
 CLMFLAGS:=-nt -nr\
+	-l -no-pie\
 	-I $$CLEAN_HOME/lib/Generics\
 	-I $$CLEAN_HOME/lib/Platform\
 	-I ABCMachine