switch to GCC 4.7