Make sure /bin/mksh is used in minimal-shell()