Fix problems with Jenkins