make mutex mutable