fixing bug in file size estimator that over-estimated the total number of bytes of memory that might be used if we tried to load in the whole data file at once