Explicitly set gcc 4.8 as default