Rename 'class-wp-taxonomy.php'