fix stuff for jenkins