Added back our dear old friend compress.tex