Rename 'class-wpseo-option.php'