diff -r d0aa87f04bd5 -r f34d701e952e src/os/linux/vm/mutex_linux.cpp
--- a/src/os/linux/vm/mutex_linux.cpp	Tue Nov 27 10:13:20 2012 +0100
+++ b/src/os/linux/vm/mutex_linux.cpp	Tue Nov 27 14:20:21 2012 +0100
@@ -26,7 +26,7 @@
 #include "mutex_linux.inline.hpp"
 #include "runtime/interfaceSupport.hpp"
 #include "runtime/mutex.hpp"
-#include "thread_linux.inline.hpp"
+#include "runtime/thread.inline.hpp"
 #include "utilities/events.hpp"
 
 // put OS-includes here