--- /sbin/init.d/security~      Tue Aug 20 22:44:09 1996
+++ /sbin/init.d/security       Fri Nov  1 14:52:56 1996
@@ -49,7 +49,7 @@
                    SECURITY=BASE
                fi
                ;;
-       BASE)
+       BASE|KRB4)
                ;;
        *)
                echo "security configuration set to default (BASE)."
