use gcc 4.8

Change-Id: Idb19a30ea09e83d6acfb61d7ec1cbc10c393b254