Update the Lean Prolog adapter file to avoid errors (due to new calls to the `use_module/1-2` predicates in the compiler) when using `qcompile/1` to generate executables that embed Logtalk