no_buf_cmd = "System.IO.hSetBuffering System.IO.stdout System.IO.NoBuffering" ++
" Prelude.>> System.IO.hSetBuffering System.IO.stderr System.IO.NoBuffering"
no_buf_cmd = "System.IO.hSetBuffering System.IO.stdout System.IO.NoBuffering" ++
" Prelude.>> System.IO.hSetBuffering System.IO.stderr System.IO.NoBuffering"