diff --git a/src/util/debug.cpp b/src/util/debug.cpp
index 32e8f710c..9dd2c075e 100644
--- a/src/util/debug.cpp
+++ b/src/util/debug.cpp
@@ -10,6 +10,7 @@ Author: Leonardo de Moura
 #include <set>
 #include <string>
 #include <memory>
+#include <cstdlib>
 
 #ifndef _WINDOWS
 // Support for pid
diff --git a/src/util/exception.cpp b/src/util/exception.cpp
index 689dbd162..092a18538 100644
--- a/src/util/exception.cpp
+++ b/src/util/exception.cpp
@@ -17,7 +17,7 @@ exception::exception(std::string const & msg):m_msg(msg) {
 exception::exception(exception const & e):m_msg(e.m_msg) {
 }
 
-exception::~exception() {
+exception::~exception() noexcept {
 }
 
 char const * exception::what() const noexcept {
diff --git a/src/util/exception.h b/src/util/exception.h
index 05c864ad7..6e30220ad 100644
--- a/src/util/exception.h
+++ b/src/util/exception.h
@@ -16,7 +16,7 @@ public:
     exception(char const * msg);
     exception(std::string const & msg);
     exception(exception const & ex);
-    virtual ~exception();
+    virtual ~exception() noexcept;
     virtual char const * what() const noexcept;
 };