Timed mutex fix