Make sure we don't use locally generated configmake.h in Debian build