--- Makefile.orig	2014-07-05 18:05:16.180788015 +0100
+++ Makefile	2014-07-05 18:05:40.464360574 +0100
@@ -53,7 +53,7 @@
 # Configure-Makefile script. This does its own dependency checking because of
 # the optional files.
 
-configure: checks build-directory
+configure: build-directory
 	@cd build-$(buildname); \
 	  build=$(build) $(SHELL) ../scripts/Configure-Makefile