According to this post, only compiling with GCC 4.7 reduces the file size a lot. Is it planned to upgrade the autobuilder toolchain to 4.7?