various fixes to release scripts, pump version number