Fix the ghci example; requires bash login