fix #13: release-master.sh set next dev release number wrongly