remove machine-specific stuff