Gcc 4.7 as default