sh: use /bin/sh