delete Fedora-specific stuff