android/
* patch-for-android-gcc: A patch for android gcc source. Apply as git am.