Some utilities to manipulate pdf files