Take version number from autoconf.