Small fix to Android build scripts