diff --git a/util/selftest.pl b/util/selftest.pl
index 6dfef9cc2953ce1c0857246b2cfbe376c3d69085..b0f26fc731c5afe6d561aae5010c3962fc0db141 100644
--- a/util/selftest.pl
+++ b/util/selftest.pl
@@ -132,6 +132,7 @@ if (system("make 2>&1 | tee make.log") > 255) {
 $_=$options;
 s/no-asm//;
 s/no-shared//;
+s/no-krb5//;
 if (/no-/)
 {
     print OUT "Test skipped.\n";