proper mutex initialization