gmp: use gmp6 by default