Include time.h in the krb5 kroverl description. This is needed because of a bug in FreeBSD.