diff --git a/src/user/psputils.h b/src/user/psputils.h
index e00e76a2..bc2c74b7 100644
--- a/src/user/psputils.h
+++ b/src/user/psputils.h
@@ -28,6 +28,7 @@ extern "C" {
 
 /**@{*/
 
+#include <sys/time.h>
 #include <time.h>
 
 /**