Fix a hard-coded version number