diff -r f68fdcc18df9 -r f4bf6556fb9f make-sso
--- a/make-sso	Sat Feb 23 14:26:05 2013 -0500
+++ b/make-sso	Sat Feb 23 14:26:38 2013 -0500
@@ -152,11 +152,11 @@
 
 # seeds /dev/random rather nicely...
 screen -dmS hasher sh -c "find /usr/lib/ /usr/share/ -print0 -type f | xargs -0 -n1 sha1sum"
-if [ -f /etc/krb5kdc/principal ]; then
-	rm -fv /etc/krb5kdc/principal \
-			/etc/krb5kdc/principal.kadm5 \
-			/etc/krb5kdc/principal.kadm5.lock \
-			/etc/krb5kdc/principal.ok
+if [ -f /var/lib/krb5kdc/principal ]; then
+	rm -fv /var/lib/krb5kdc/principal \
+			/var/lib/krb5kdc/principal.kadm5 \
+			/var/lib/krb5kdc/principal.kadm5.lock \
+			/var/lib/krb5kdc/principal.ok
 fi
 echo -en "${stash_pw}\n${stash_pw}\n" | kdb5_util create -s