jenkins: temp, will revert
jenkins_integration: fix minor bug