Update android build instructions for gmp 6.0.0.a