epic: It is necessary to run happy to generate the files with >=ghc-7.8