make plugin support GHC >= 7.2