#!/bin/sh echo >&2 "Cleaning up sandbox work directory" rm -rf box