Always include <mutex>.