fixing tree inflater bug of reading a file twice, fixes #7