use 4.7 GCC

4.8 doesn't work