Avoid bashism

This was changed in #430 but it's not legal for `/bin/sh`