Remember GCC 4.7.2 and binutils 2.23.1 as well