lib/krb5/codec.c: fix the build and define __attribute__ as noop