chg: divisors.lib without computations (depends on polymake.so)
fix: all.lib without tropical.lib (depends on polymake.so)