disable static gmp libraries