proper mutex init