adjusted polymake driver to work with new wrapper