The Android filesystem, unlike many desktop operating systems, is case-insensitive