Fix build on case-sensitive file system for Android.

This fixes Android build on case-sensitive file system.