gcc: add GCC 4.7.2