Fix up the Android.mk file