USAGE: php demo.php <pdf_file> [<output_pdf_file>]