ntl 6.0, optional --without-gmp flag
barvinok 0.36 (with patch for NTL 6.0)