Rename 'wp-mutex.php'