Support for PDF input files on Mac OS X