added mutex destroy in deconstructors