Fix broken pipe in jenkins-sandbox-cleanup script