Removed unnecessary size member in File::mirrored_buffer class
* size was stored internally but never used, i.e. it should be removed