jenkins_integration: clean up shared.inc