BF: Need to #include <mutex.h> on linux

Also tighten the mutex scope - we only need to protect writes to the std::unordered_map.