liquid-fixpoint builds with GHC 7.4.1