I have the following problem. On Ubuntu 20.04, I\'m following the installing instructions for the Icestorm tools from https://github.com/folknology/IceCore/wiki/IceCore-Gett
