WIP: merge AutoMutex.h into Mutex.h