0001-Replace-non-free-3-edge-connected-components.patch
0002-Makefile-drop-removed-externalTools.patch
