40dd4c5b76
Due to what might be a bug in Automake, we need to remove stamp-h? files manually. See http://debbugs.gnu.org/cgi/bugreport.cgi?bug=19418.