--- PKGBUILD	2019-03-17 22:50:36.169999966 +0000
+++ PKGBUILD.krb5	2019-03-17 22:50:56.329999960 +0000
@@ -41 +41 @@
-		--with-kerberos5 \
+		--with-krb5 \