add misc. tools for extracting txt from PDF