autoflush stdout