Remove jenkins-specific debugging fluff