dot_ghci: option was removed