auto compile polymake