(maybe) bugfix for jenkins server