Add more debugging to Jenkins build.
Fix Jenkins test.