Pass --with/--without-libgssapi_krb5 to configure.