build different version numbers on jenkins (take 2)