/usr/bin/krb5-config is in heimdal-dev 1.7~git20150920+dfsg-4ubuntu1.
This file is owned by root:root, with mode 0o777.
It is a symlink to /usr/bin/krb5-config.heimdal
/usr/bin/krb5-config.heimdal