Test disabling the automatic autoconf stuff in Makefile, in case
that's what make the build bot fail.