How fast are Linux pipes anyway?