fix missing mutex include