Add gcc4.8 to the raspbian 7 config and make it the default