We should be able to live without this file

Dropping symbol renaming because if a user program is linking against a separate MPFR, they'll likely run into more subtle problems than symbol conflicts.