Traditional /bin/sh is unhappy about some file globbing

Branch binshify in my public repo fixes a globbing issue in contrib/coverage.