Makefile: Rerun the configure script if it has been modified