using old openfst < 1.3.4 patch