update ghci file