Pull gmp-api by branch name

Pull in the gmp-api by version number like we do on the master branch to avoid CI errors.