Don't try to use HAVE_LIBKRB5 as an aggregate - create a new one.