Re: [PATCH 08/11] sandbox: Add a way to find the size of a file