Tag: use build tools in jenkinsfile