use shorter version numbers