Redefine paths to get the nicer Paulin-Mohring style eliminator