I deleted whatever I could. Copied everything into a new folder. Now the symbol is found. Go figure.
Thanks.
Edit: My mistake. I neglected to close the library. While it was open, I added the extern "C"
to demangle the name, and recompiled. The change was not seen, because the lib was still open.