version: make the new version number 5 instead of 0.5.