Revert "just a try with the old (unsound) path algo"

This reverts commit f5e4844b1d2a996d7be47ff2a629cf94fe8ad471.