gmp6.1.2-bootstrap.s2