s3: Add open_files.idl