Ik kreeg hier te maken met dezelfde errors als in Ubuntu, dus ik heb hem maar gedownload en zelf gecompiled. Als ik gnuradio-companion probeer te openen, staat er echter dat hij niet geïnstalleerd is, en dat ik hem met sudo apt-get install gnuradio moet installeren. Zie ik iets over het hoofd?