add latest GCC versions 4.8.0 & 4.8.1

Fresh from the press; fiddle with the header & commented patch line, as needed.

Signed-off-by: Fotis Georgatos <fotis.georgatos@uni.lu>