Fix bugs in getDefaultShell