diff --git a/storage/rocksdb/rdb_psi.h b/storage/rocksdb/rdb_psi.h
index 2df3b96a64d2..0a62f411ade6 100644
--- a/storage/rocksdb/rdb_psi.h
+++ b/storage/rocksdb/rdb_psi.h
@@ -19,6 +19,7 @@
 
 /* MySQL header files */
 #include <my_global.h>
+#include <my_pthread.h>
 #include <mysql/psi/psi.h>
 
 /* MyRocks header files */