pypima/pima.py: flush stdout.