Use GCC 4.8

Change-Id: I78e6a3a67b4d0b5b7528626c51b72c3f46fe7d29