fixup libports (gmp library on arm)