diff --git a/Makefile b/Makefile
index 1dc512f07b3b8a2edf3fee3c376bf2598c1d1e41..cc4d079bc19710aecb8b2e4e268150daef1fa326 100644
--- a/Makefile
+++ b/Makefile
@@ -23,7 +23,7 @@
 .PHONY: all build clean
 
 ifndef FRAMAC_SHARE
-FRAMAC_SHARE :=$(shell frama-c -journal-disable -print-path)
+FRAMAC_SHARE :=$(shell frama-c-config -print-share-path)
 endif
 
 sinclude ${FRAMAC_SHARE}/Makefile.common