some scripts to handle pdf files