(Any reason to use the larger tgz as opposed to the smaller bz2?)