shell: dash as /bin/sh