Add fflush() on stdout