added ghc-mod global variables