some tweaks for jenkins