make x86_64h default to 10.8 instead of 10.9