raccoon_city: include necessary header for mutex