A bit of kludges to support building on GHC 7.4.