fflush() after fprintf