c printf flush stdout