openfst versions of downloaded tar and extractions should match