Windows batch command in jenkins pipeline