removed BuildDFA.hs~