Stop using HEAD for version numbers