Add mutex_t default constructor