configure: WARNING: GNU MP not found, or not 3.1 or up, see http://www.swox.com/gmp.
config.status: WARNING:  config.make.in seems to ignore the --datarootdir setting