--- a/make/Init.gmk	Mon Sep 25 10:21:23 2017 +0200
+++ b/make/Init.gmk	Mon Sep 25 10:32:00 2017 +0200
@@ -265,7 +265,7 @@
         else
 	  $(ECHO) "Re-running configure using default settings"
         endif
-	( cd $(OUTPUT_ROOT) && PATH="$(ORIGINAL_PATH)" \
+	( cd $(OUTPUTDIR) && PATH="$(ORIGINAL_PATH)" \
 	    $(BASH) $(CONFIGURE_CMD) $(CONFIGURE_COMMAND_LINE) )
 
   ##############################################################################