does not set vermgic by default