Add GCC 4.7.3.