1 files changed, 1 insertions, 3 deletions

diff --git a/Makefile b/Makefile
index c9d5edb..806520f 100644
--- a/Makefile
+++ b/Makefile
@@ -1,9 +1,7 @@
 BIN:=silc
 CLM:=clm
 CLMFLAGS:=-nt -nr\
-	-l -no-pie\
-	-I $$CLEAN_HOME/lib/Generics\
-	-I $$CLEAN_HOME/lib/Platform\
+	-IL Platform\
 	-I ABCMachine
 
 .PHONY: all clean