Update base_mutex.h