fix problem from gmp archive naming