How fast are Linux pipes anyway? - eviltoast