diff --git a/bootstrap.conf b/bootstrap.conf
index cfa839a1..099b9311 100644
--- a/bootstrap.conf
+++ b/bootstrap.conf
@@ -114,6 +114,7 @@ gnulib_modules="
     human
     idcache
     inline
+    intprops
     inttypes
     isblank
     locale