Fix problem with openfst 1.3.4 instead of 1.3.2