all.lib: removed tropical.lib, oldpolymake.lib from all.lib