configure: always regenerate the Makefile