Added ghci path