Add some arch specific stuff to gmp