fix formatting bug in Android.mk