Mask gcc-4.8 for now