don't make stdin unbuffered