try to fix pdftk with a hack