Fix patchlevel.h for krb5-1.10 branch