Update to reflect new regex2dfa main