My Debian machine requires -lmpfr.