Add the option back to use SaberMod GCC 4.8 toolchain, somehow got removed :-/