how to use sed in jenkinsfile