Ok folks, I talked to Andy, and he thinks the .dmg decompression algo is at fault. We can switch to .tar.bz2 (probably picking up better compression while we do it) and avoid the whole issue, if he's right. David