Added patch for pdf_reader to resolve problems after switching to https