remove pathTrails Iso, which is defined in diagrams-lib now