Hans Leidekker : configure: Require a more recent version of libkrb5.