Workaround probable bug in s3_file