Remove broken stuff from .ghci