Fix compilation in CyanogenMod (really)