diff --git a/krb5.be0 b/krb5.be0
index 246d0535b..f38eced35 100755
--- a/krb5.be0
+++ b/krb5.be0
@@ -49,7 +49,8 @@ sourcesubdir_append src
 
 mee_configure() {
     bee_configure \
-      --with-system-et
+      --with-system-et \
+      --without-system-verto
 }
 
 #mee_build() {