made build number work with Jenkins