override hostname for jenkins, hopefully