Thanks! I'm not sure which path has to be changed, however I just put the patch into the polymake directory and applied it, but it seems to have worked (at least trying to run it once more reports that the files seem to be already patched). Unfortunately, I get following error now: make[2]: Entering...