Re-add option to use SaberMod toolchain gcc 4.8