use gcc 4.8 and add the repo for it