machines: unify all machines to produce tar.gz instead of tar.bz2 by default