Use update-alternatives to set gcc/g++ to 4.8