flush handle in pr standard fun (fixes wrong print order in REPL)