re: encode.h changes for krb5_const_pointer: I put krb5_const_pointer into base-defs.h, and changed all the casts to use it.