--without-bignums doesn't seem to work.