Debugging for Jenkins support, for #331