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

Need to pass options to configure if they're to take any effect.