Switched to stock pdf2txt utility, and minor mods to accommodate calling script