BINUTILS: update formula for binutils-2.23.2
GCC: update formula for gcc-4.8.0