default.xml: rename private remote, point to correct SSH for GCC