default.xml: use SM 4.7 GCC for now