[PATCH] configure: Require a more recent version of libkrb5.