diff --git a/.github/setup_ci.sh b/.github/setup_ci.sh
index 2d1943c37..b603f3f57 100755
--- a/.github/setup_ci.sh
+++ b/.github/setup_ci.sh
@@ -22,7 +22,7 @@ set -ex
 lsb_release -a
 
 if [ "${TARGETS}" = "kitchensink" ]; then
-	TARGETS="kerberos5 libedit pam sk selinux"
+	TARGETS="krb5 libedit pam sk selinux"
 fi
 
 for flag in $CONFIGFLAGS; do