use unbuffered stdout