Stopgap measure for `core2` bug, add in `mpfr` dependence, remove `nginx`/`x11`