Use writev(2) for stdio