Rename 'class-wp-customize-theme-control.php'