for trusty, bypass the cmt ABI mismatch error