Correct libgssapi_krb5 packages.