Darwin Profile: back to no optimization and 32bit
gmp, back to 32 bit