echo in jenkins file