Adding missing MUTEX_HEADER