#include "afs/ptuser.h"
#include "des.h"
#include "des_prototypes.h"
-#include "ktc.h"
+#include "afs/ktc.h"
#else /* defined(UKERNEL) */
#include <afs/stds.h>
#include <signal.h>
#include <rx/rxkad.h> /* max ticket lifetime */
#include "kauth.h"
#include "kautils.h"
-#include "ktc.h"
+#include <afs/ktc.h>
#endif /* defined(UKERNEL) */