through out the program we use tar.bz2 not tar.gz
Merge branch 'master' of git://github.com/GaloisInc/ppaml-client-tools