lively.lang: fix for patching in "lively" as a module