Make ping output unbuffered