diff --git a/apps/enclave/Makefile.cygwin b/apps/enclave/Makefile.cygwin
index 351b315757c6aecc94f40ced9c1118b980fb2d7a..0c209c2064afdc53536c221a8edc9a70cd7a3f8e 100644
--- a/apps/enclave/Makefile.cygwin
+++ b/apps/enclave/Makefile.cygwin
@@ -1,6 +1,5 @@
 #
-# This Makefile is compatible with GNU Make and should work on Linux
-# (Tested on Debian 3.0)
+# This Makefile is compatible with GNU Make and should work on Cygwin
 #
 
 #
diff --git a/apps/enclave/Makefile.linux b/apps/enclave/Makefile.linux
index 218ef7b6fe9acb8e1f3cdafaa38551edac186d20..054ff6f2fffb2e7c61fa873da83000c4222f1d4e 100644
--- a/apps/enclave/Makefile.linux
+++ b/apps/enclave/Makefile.linux
@@ -1,6 +1,5 @@
 #
-# This Makefile is compatible with GNU Make and should work on Linux
-# (Tested on Debian 3.0)
+# This Makefile is compatible with GNU Make and should work on Linux (generic)
 #
 
 #
diff --git a/apps/enclave/Makefile.mingw b/apps/enclave/Makefile.mingw
index 50268e2edaa48d0a9ffdc1af31c00b130b949b23..a1298e0e173dea1e8917062b57f04f4734ba5a07 100644
--- a/apps/enclave/Makefile.mingw
+++ b/apps/enclave/Makefile.mingw
@@ -1,6 +1,5 @@
 #
-# This Makefile is compatible with GNU Make and should work on Linux
-# (Tested on Debian 3.0)
+# This Makefile is compatible with GNU Make and should work on Windows (Mingw)
 #
 
 #
diff --git a/apps/enclave/src/thread.cpp b/apps/enclave/src/thread.cpp
index 832420c1c544027e22297059fcc84bdbcbf3d28f..cf9ab6754c614571c9fb0b799effef1513e0544a 100644
--- a/apps/enclave/src/thread.cpp
+++ b/apps/enclave/src/thread.cpp
@@ -60,7 +60,6 @@
 */
 
 #include "platform.hpp"
-#include "mutex.hpp"
 #include "thread.hpp"
 
 Thread::Thread(void)