Switch to GCC 4.7