increase version number, just in case ...