Traditional /bin/sh is unhappy about some file globbing

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

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information