apply renamings to pdf-gitprint
a little more checking
do tgz files as well when running make tars