make makefiles compatible with CyanogenMod 10