Use GCC 4.9