Set gcc 4.7 as default