This required changing the Makefile.
I also added a new program set-version.pl that can be used
to synchronize the version number in all core files of the
distribution, along with the web files.