Filename symbol table assumes case-insensitive names on Android