jenkins_integration: additional cleanup