Port: fixes to util.fst.util