Updates for ghc-7.7

This fixes issue #160.