Version 0.5.0.0: build with ghc-7.8