diff --git a/ChangeLog b/ChangeLog
index d43b81d18..53501e694 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,8 @@
 2008-06-11  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
+	* iface/nips/dottynips.cc: Include ctsdlib for exit().
+	* iface/nips/emptiness_check.cc: Likewise.
+
 	* src/eltlparse/eltlparse.yy: Include limits.h for INT_MIN and
 	INT_MAX.
 
diff --git a/iface/nips/dottynips.cc b/iface/nips/dottynips.cc
index 48df1d9e8..fee11292b 100644
--- a/iface/nips/dottynips.cc
+++ b/iface/nips/dottynips.cc
@@ -19,6 +19,7 @@
 // Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
 // 02111-1307, USA.
 
+#include <cstdlib>
 #include "nips.hh"
 #include "tgbaalgos/dotty.hh"
 
diff --git a/iface/nips/emptiness_check.cc b/iface/nips/emptiness_check.cc
index bd492ab74..26efaafe3 100644
--- a/iface/nips/emptiness_check.cc
+++ b/iface/nips/emptiness_check.cc
@@ -19,6 +19,7 @@
 // Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
 // 02111-1307, USA.
 
+#include <cstdlib>
 #include <iostream>
 #include <cassert>
 #include <cstring>
@@ -126,4 +127,3 @@ main(int argc, char **argv)
     std::cerr << e << std::endl;
     return 1;
   }
-