Re: [PATCH 1/1] sandbox: compatibility of os_get_filesize()