memleak in make_external_lucid_ctx_v1()