--command "ghci -j4 +RTS -A128m"