add fflush(stdout) in test/driver.c