diff -r b2a53d442fd6 -r d610106f78c9 bintools/checklib/main.cpp
--- a/bintools/checklib/main.cpp	Sat May 15 14:32:45 2010 +0100
+++ b/bintools/checklib/main.cpp	Sat May 15 18:24:04 2010 +0100
@@ -22,7 +22,8 @@
 #include <sstream>
 #include <iostream>
 #include <stdexcept>
-#include <cstring>
+#include <cstring>
+#include <cstdlib>
 
 
 const char SELF_NAME[] = "checklib";