add gcc-4.8.0 (hardmasked)