Update testmutex.php