In my experience this argument isn't 100% reliable (and isn't needed for >=10.7 which already defaults to `core2`) so I don't think we should add it.