TS-3156: use a proxy allocated mutex