Modify pdf2txt to get two arguments