[src] Fix bug in fstrmymbols RE recent const-fst changes (thanks: Jon Nichols); other...