Update the compiler/runtime to workaround an issue with the Lean Prolog parser