--- a/common/autoconf/Makefile.in	Thu Nov 07 08:16:05 2013 -0800
+++ b/common/autoconf/Makefile.in	Thu Nov 14 10:53:23 2013 +0100
@@ -24,4 +24,4 @@
 # This Makefile was generated by configure @DATE_WHEN_CONFIGURED@
 # GENERATED FILE, DO NOT EDIT
 SPEC:=@OUTPUT_ROOT@/spec.gmk
-include @SRC_ROOT@/NewMakefile.gmk
+include @SRC_ROOT@/Makefile