update to ensure the regex2dfa pipeline works on OSX