added polymake.ext