default.xml: temporarily use Google eabi GCC