Fix buffering problem when GHCi is using the new IO library