Save buffer before reloading
Don't import GHC.Server.IO, not needed, it seems