diff --git a/criu/util.c b/criu/util.c
index 1646ce1c4..a0a49c5a3 100644
--- a/criu/util.c
+++ b/criu/util.c
@@ -30,6 +30,8 @@
 
 #include "linux/mount.h"
 
+#include "linux/mount.h"
+
 #include "kerndat.h"
 #include "page.h"
 #include "util.h"