dev-haskell/agda: allow ghc-7.8