manually set version number