Rename 'class-extension-manager.php'