Switch to GCC 4.7 and C++11