fix build (mutex header missing)