In ghc-inplace, flush stdout after giving debugging output