added ghc6.12