Remove a few useless pieces of path-related code

No functional changes.
Make module S11-compliant

(whatever that means...)