Add ghci dot file