[boost] Re: [filesystem] size() on directory?