made bash default executable for shell()