More concise version name for jenkins.