ddbf6040e3
Make "make" behave properly when these are changed by re-running "configure", by putting their definitions into a generated file that depends on Makefile.