Oh! `file_pool.size()` is buggy! XoX

Already file opennings returned 0.