Possible .ghci files reading