libsmon.py: nicer flush() implementation