in Makefile sandbox config simplified for ghc >= 7.8.1