copying branch over from other 2013 repo
diff --git a/aos/common/mutex.h b/aos/common/mutex.h
index c1d6f95..035889b 100644
--- a/aos/common/mutex.h
+++ b/aos/common/mutex.h
@@ -5,9 +5,9 @@
 #include <semLib.h>
 #endif
 
-#include "aos/aos_core.h"
 #include "aos/common/macros.h"
 #include "aos/common/type_traits.h"
+#include "aos/atom_code/ipc_lib/aos_sync.h"
 
 namespace aos {