use gcc 4.8

Change-Id: I3d150dc1bfa84fe0e4a7c5b43a817c9872062eb6