Edited for switch to GCC4.8 toolchain

Signed-off-by: Daniel Tarrant <daniel.g.tarrant@gmail.com>