My modifications to CyanogenMod's manifest file