Fix BASH vs KSH conflicts, by forcing user to use BASH.