Change version number for dev branch.