small optimization to file-reader allocator