Debian 7 kerberos build fix (config.h)