Fixed preloading of the krb5 library after it had been renamed. Unfortunately, its name is hardcoded...