updated to use latest version on regex2nfa