Patch #1215184: FileInput now can be given an opening hook which can

be used to control how files are opened.