the way mutexes are released has been changed