Makefile: switch to linaro GCC 4.8.3 2013.11 - not because its necessarily better, but because it compiles faster