use masking custom-tune for gmp-ecm on macos-x86