add other users of kpatch_mangled_strcmp