Fix a bug in KRB4 that made it unreliable unless used with a
single afs salt or with des salts only. Closes #653.