Made compatible with ghc7.6.1 once again. Release 0.8.5.