mutex.h is not needed any more