Added the use of GCC 4.7 in favor of 4.6.3