LIBM (from --with-libm=...); this actually broke the customizability
offered by the latter option.  Thanks go to Clay Spence for reporting
this.