diff --git a/makefiles/tools/kconfiglib.inc.mk b/makefiles/tools/kconfiglib.inc.mk
index 00f2e35f28..a0983270b3 100644
--- a/makefiles/tools/kconfiglib.inc.mk
+++ b/makefiles/tools/kconfiglib.inc.mk
@@ -1,13 +1,14 @@
 # Define tools to use
-MENUCONFIG ?= $(RIOTTOOLS)/kconfiglib/menuconfig.py
+MENUCONFIG ?= $(RIOTTOOLS)/kconfiglib/riot_menuconfig.py
+BASE_MENUCONFIG ?= $(RIOTTOOLS)/kconfiglib/menuconfig.py
 GENCONFIG ?= $(RIOTTOOLS)/kconfiglib/genconfig.py
 MERGECONFIG ?= $(RIOTTOOLS)/kconfiglib/merge_config.py
 
-$(MENUCONFIG):
+$(BASE_MENUCONFIG):
 	@echo "[INFO] Kconfiglib not found - getting it"
 	@make -C $(RIOTTOOLS)/kconfiglib
 	@echo "[INFO] Kconfiglib downloaded"
 
-$(GENCONFIG): $(MENUCONFIG)
+$(GENCONFIG): $(BASE_MENUCONFIG)
 
-$(MERGECONFIG): $(MENUCONFIG)
+$(MERGECONFIG): $(BASE_MENUCONFIG)