Some stuff for jenkins