Fix library support for expanding paths for Lean Prolog and Quintus Prolog