Restored PDF files; these are required indirectly by tests