Add krb5-devel to enable building rkerberos for the proxy