NBTFile.tokenize auto-detects zipped io vs plain