Comment 7 for bug 1664566

I filed https://bugs.launchpad.net/debian/+source/krb5/+bug/1710634 to fix the libkrb5 plugins directory location and creation. There is no such plugin shipped with krb5 itself, that's why this was never noticed before I believe.