Использование std::mutex без его включения

Я пытаюсь собрать openrave на ветке production и не могу понять, что вижу. Код выглядит так, как будто он не включает #include <mutex>, но std::mutex используется повсюду. Я уверен, что что-то упускаю. Как это возможно? Как код может использовать std::mutex, не включая его напрямую?

Одним из примеров является файл Sensorsystem.h (include/openrave/sensorsystem.h) по адресу https://github.com/rdiankov/openrave/tree/production/include/openrave.

Любая помощь будет оценена по достоинству.

🤔 А знаете ли вы, что...
C++ обеспечивает механизм исключений для обработки ошибок и исключительных ситуаций.