add fixpoint.native-x86_64-darwin