s3: Slightly simplify open_file()