explicit mutex handle type replaced with alias