Add GCC 4.7 to the manifest