Use bash shell for terminals