Require GHC 7.8
Merge branch 'master' of https://github.com/ku-fpg/hermit
Fixed merge-CPP mixup