fix compilation issue on GHC 7.8