Does anyone know if version 1.0.3 of Arduino is going to have a more recent toolchain (like avr-gcc 4.7.0 and avr-libc 1.8.0)?