embed jenkins build number into version string.