Disable the logic that regenerates the version information .c file, as it
(1) uses ed and breaks on linux, and (2) contrives to generate the wrong
version number.

(dholland)