tentatively fix compilation with incoming ghc 7.10