Change mode of .ghci