LMDB file size, again