Add room for the jenkins build number

This makes it easier to select the right build in jenkins