GNUmakefile: Reconfigure if ./configure changes.