diff --git a/src/afs/LINUX/osi_machdep.h b/src/afs/LINUX/osi_machdep.h
index 7b457ca603..9d3faa9035 100644
--- a/src/afs/LINUX/osi_machdep.h
+++ b/src/afs/LINUX/osi_machdep.h
@@ -71,6 +71,8 @@
 
 #define afs_hz HZ
 #include "h/sched.h"
+/* in case cred.h is not included in sched.h */
+#include "h/cred.h"
 #if defined(HAVE_LINUX_CURRENT_KERNEL_TIME)
 static inline time_t osi_Time(void) {
     struct timespec xtime;