build different version numbers on jenkins (take 3)