I'll remove it in purge.; there's another bug open effectively for that. However, I think it is generally a good thing if the file exists. Because of the dpkg bug we no longer install it, but I think our users are better served by leaving the file on upgrades.
- Bug#861218: libgssapi-krb5-2: soname-independent files ... Laurent Bigonville
- Bug#861218: libgssapi-krb5-2: soname-independent f... Sam Hartman