Revert to GCC 4.7.