installer script from source, with path workarounds for system libgmp conflict