Use Cyanogenmod's android_build