Update gensnap taglist for krb5-1.13