fix: oldpolymake.lib depends on polymake.so -> cannot be part of all.lib