Rename 'class-wpseo-option-wpseo.php'