Add NO_GHC, NO_CABAL, NO_SANDBOX options