Update to remove GMP from third_party