Re: [boost] library for managing a large number of FILE objects