default x86_64 under macosx