Symbol: change_deflt_libctx