switch gcc and g++ to 4.8