Bring back .ghci file