dev-haskell/agda-lib-ffi: allow ghc-7.8