Re: install polymake