Fix build failure under GHC 7.2