Fix problem with version number generation.