a few tweaks for jenkins debugging