Actually use the jenkins build number.