s3: Use autogenerated open_files.idl