diff --git a/case_studies/wookey/loader/GNUmakefile b/case_studies/wookey/loader/GNUmakefile
index 2e625fea428d135cb6b560c562dddd25ff11900f..5f0270a2c9aa13e276551c5d43c610b740ab50ca 100644
--- a/case_studies/wookey/loader/GNUmakefile
+++ b/case_studies/wookey/loader/GNUmakefile
@@ -87,8 +87,6 @@ META_FLAGS= #-meta-keep-proof-files
 
 IMPORT_FILE = spec-annots.acsl
 ALL_FILES = $(filter-out $(EXCLUDE), $(wildcard $(SRCS)))
-FRAMAC_EXEC := frama-c
-FRAMAC = $(FRAMAC_EXEC) $(FCFLAGS)
 META = -meta $(META_FLAGS)
 IMPORT = -acsl-import $(IMPORT_FILE)