Remove jenkins-specific oddity workarond