[GHC] #11596: ghci gets confused if a file is deleted