fflush output (avoid stderr/stdout output timing issues)