Update default.xml: use my fork of CyanogenMod's build system