diff --git a/case_studies/wookey/loader/GNUmakefile b/case_studies/wookey/loader/GNUmakefile
index 6c56cffc8646ae096978b0104e954f32374a2beb..8229162087e653cdc3ed5c6e3ee278d68bf25589 100644
--- a/case_studies/wookey/loader/GNUmakefile
+++ b/case_studies/wookey/loader/GNUmakefile
@@ -90,11 +90,15 @@ IMPORT = -acsl-import $(IMPORT_FILE)
 
 parse: $(MAIN_TARGET).parse
 gen_prove: $(MAIN_TARGET).parse
-	$(FRAMAC) -load $^/framac.sav -then-last $(IMPORT) -then-last -wp $(WP_FLAGS)
+	$(FRAMAC) -load $^/framac.sav \
+          -then-on translation -set-project-as-default \
+          -then $(IMPORT) -then -wp $(WP_FLAGS)
 gen: $(OUT_FILE)
 
 $(OUT_FILE): $(MAIN_TARGET).parse
-	$(FRAMAC) -load $^/framac.sav -then-last $(IMPORT) -then-last -ocode $(OUT_FILE) -print
+	$(FRAMAC) -load $^/framac.sav \
+        -then-on translation -set-project-as-default \
+        -then $(IMPORT) -then -ocode $(OUT_FILE) -print
 
 wp: $(OUT_FILE)
 	$(FRAMAC) $(OUT_FILE) -wp $(WP_FLAGS)