diff --git a/THANKS b/THANKS
index 9ffee837f..784b6b337 100644
--- a/THANKS
+++ b/THANKS
@@ -27,6 +27,7 @@ Juraj Major
 Kristin Y. Rozier
 Martin Dieguez Lodeiro
 Matthias Heizmann
+Maxime Bouton
 Michael Tautschnig
 Michael Weber
 Mikuláš Klokočka
diff --git a/spot/misc/tmpfile.cc b/spot/misc/tmpfile.cc
index 6eda6abff..3f5842a98 100644
--- a/spot/misc/tmpfile.cc
+++ b/spot/misc/tmpfile.cc
@@ -20,7 +20,7 @@
 #include "config.h"
 #include <spot/misc/tmpfile.hh>
 #include <errno.h>
-#include <cstdlib>
+#include <stdlib.h>
 #include <unistd.h>
 #include <string.h>