Removed prefix for openfst.