Fix broken pipe in jenkins-sandbox-cleanup script

No match.