A dubious hack to work around a ccross bug that prevents mutexes from being used in a lot of places.