I use Ubuntu 20.4 and have 8GB of RAM. I first installed polymake using `sudo apt install polymake`. When re-compiling my computer freezes and I managed to figure out that it runs out of RAM (when I am not running anything it uses approximately 1GB). I then tried uninstalling polymake and installing...