Wrong name of the resulting archive from curl