error in polymake.debug script