other stuff for jenkins