let it build with ghc >=7.6