Set krb4 and priocntl flags via site.exp instead of command line
-rw-r--r-- 27929 README
drwxr-xr-x - doc
drwxr-xr-x - src