Removing older version (ghc 7.4.2), since it is failing on Travis.

It might be possible to get this working by tweaking "backjump-limit" option, but it doesn't seem worth the effort.