Temporarly enforce gcc-4.8 because of bug #748681