fix for Android.mk