circumvent ppa build problem (ghc <= 7.6.3)