cover.sh: clean up after run