Minor fix in Makefile.orig. We could end up defining eg. HAVE_KRB5
instead of HAVE_LIBKRB5 and overall it was a confusing mix. Same
for GMP.