Temporary measure: if no KRB5 is defined, add "no-krb5" to the options. This is so mk1mf.pl can pick it up from Makefile.