Add results using GCC 4.7 on Linux 64-bit