Updating gcc so that 4.8 is used