shrink pipes under Linux