Update version number (also for purposes of testing)