Rename 'class-wpseo-options.php'