Fix expanding of relative file paths for Lean Prolog