Update version number to raise Jenkins tests.