Fix CHERI builtins test.