diff --git a/src/libscotch/library.h b/src/libscotch/library.h
index 1891c19..ecc0533 100644
--- a/src/libscotch/library.h
+++ b/src/libscotch/library.h
@@ -67,6 +67,8 @@
 
 /*+ Integer type. +*/
 
+#include <stdint.h>
+
 typedef DUMMYIDX SCOTCH_Idx;
 
 typedef DUMMYINT SCOTCH_Num;
diff --git a/src/libscotchmetis/library_metis.h b/src/libscotchmetis/library_metis.h
index e6767e1..04e71c3 100644
--- a/src/libscotchmetis/library_metis.h
+++ b/src/libscotchmetis/library_metis.h
@@ -99,6 +99,7 @@ typedef enum {
 */
 
 #ifndef SCOTCH_H                                  /* In case "scotch.h" not included before */
+#include <stdint.h>
 typedef DUMMYINT SCOTCH_Num;
 #endif /* SCOTCH_H */
 
diff --git a/src/libscotchmetis/library_parmetis.h b/src/libscotchmetis/library_parmetis.h
index 6d2f0b0..3c803fc 100644
--- a/src/libscotchmetis/library_parmetis.h
+++ b/src/libscotchmetis/library_parmetis.h
@@ -106,6 +106,7 @@ typedef enum {
 */
 
 #ifndef SCOTCH_H                                  /* In case "scotch.h" not included before */
+#include <stdint.h>
 typedef DUMMYINT SCOTCH_Num;
 #endif /* SCOTCH_H */
 
'>refs</a><a class='active' href='/guix/log/nix/boost'>log</a><a href='/guix/tree/nix/boost?id=a2128ac64720e7107ce9387873cc471356a4d026'>tree</a><a href='/guix/commit/nix/boost?id=a2128ac64720e7107ce9387873cc471356a4d026'>commit</a><a href='/guix/diff/nix/boost?id=a2128ac64720e7107ce9387873cc471356a4d026'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/nix/boost'>
<input type='hidden' name='id' value='a2128ac64720e7107ce9387873cc471356a4d026'/><select name='qt'>
<option value='grep'>log msg</option>
<option value='author'>author</option>
<option value='committer'>committer</option>
<option value='range'>range</option>
</select>
<input class='txt' type='search' size='10' name='q' value=''/>
<input type='submit' value='search'/>
</form>
</td></tr></table>
<div class='path'>path: <a href='/guix/log/?id=a2128ac64720e7107ce9387873cc471356a4d026'>root</a>/<a href='/guix/log/nix?id=a2128ac64720e7107ce9387873cc471356a4d026'>nix</a>/<a href='/guix/log/nix/boost?id=a2128ac64720e7107ce9387873cc471356a4d026'>boost</a></div><div class='content'><table class='list nowrap'><tr class='nohover'><th class='left'>Age</th><th class='left'>Commit message (<a href='/guix/log/nix/boost?id=a2128ac64720e7107ce9387873cc471356a4d026&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2020-06-24 19:55:22 +0100'>2020-06-24</span></td><td><a href='/guix/commit/nix/boost?id=cd43b55da7ab51c996a7a3449c78f2a493616106'>nix: Tweak .gitignore files.</a><span class='msg-avail'>...<span class='msg-tooltip'>Remove .gitignore entries where they match source files that are tracked in
Git.  This is relevant to me at least, as some code searching tools use
.gitignore files and will ignore matched files.
</span></span></td><td>Christopher Baines</td></tr>
<tr><td><span title='2019-11-26 00:16:36 +0100'>2019-11-26</span></td><td><a href='/guix/commit/nix/boost?id=3a4d5ddd322c7daf0a8c83ca2c87c3fc38b19f0b'>daemon: boost::format: Fix typo "referred".</a><span class='msg-avail'>...<span class='msg-tooltip'>* nix/boost/format/exceptions.hpp (too_few_args): Fix typo.
  (too_many_args): Fix typo.

Signed-off-by: Ludovic Courtès &lt;ludo@gnu.org&gt;
</span></span></td><td>Vagrant Cascadian</td></tr>