This makes things work even on system lacking /bin/sh, such as on
non-rooted Android systems.