This reverts commit 5cbec88c. Vitaly said that 2faac77f actually works. Sanitizer's armv7-linux-androideabi24 configuration has other issues which haven't been identified yet, but that's unrelated to the empty symbol name issue.
