Fix: stderr is unbuffered. fflush call unecessary