adapted Makefile to deal with LaTeX post-typechecking patches (trimming and do forth)