Revert "Very temporary debugging on Jenkins. Disappoint."

All done debugging.

This reverts commit fd1c349c6fe452c1319d13ccb789d4235d4ab2dd.