Re: [PATCH v2 1/1] sandbox: fix return type of os_filesize()