Use GCC 4.6