memory leak in make_external_lucid_ctx_v1()