Change in jenkins[master]: Fix cleanup_docker