make makefiles compatible with CyanogenMod 10.1