Comment 6 for bug 1079938

thanks for the patch, I had it covered already though :) (local, uncommitted git)

And I don't understand the 3rd change? I see two packages using the current ../plugin/libkrb5 path, but none using the one you suggest?