jack commit: wfst updated