Hola Ilana,
efectivamente, es por eso. Vas a tener que borrar el GNU. Capas que te conviene hacer otra instalación ya que estás en una VM, como prefieras. Yo estoy usando la versión 19 y lo que te voy a pasar está probado para esa lamentablemente. En este enlace está el GNU 3.7 https://launchpad.net/~gnuradio/+archive/ubuntu/gnuradio-releases-3.7 (creo que está en la letra)
Verifica que tengas boost instalado en ubuntu, sino descargalo de acá http://www.boost.org/users/download/ e instalalo.
Lo descomprimís y te paras adentro de la carpeta, le das el siguiente comando y listo
$> sudo sh bootstrap.sh
$> sudo ./b2
Luego vamos a apuntar a la versión 3.7 de GNURadio, tenes que abrir sources.list y agregar los comandos deb al final del archivo. Esos comandos salen del enlace que te pasé seleccionando la versión de ubuntu 19.04
$> sudo nano /etc/apt/sources.list
pegar al final del archivo
deb http://ppa.launchpad.net/gnuradio/gnuradio-releases-3.7/ubuntu disco main
deb-src http://ppa.launchpad.net/gnuradio/gnuradio-releases-3.7/ubuntu disco main
Luego guardar los cambios y poner los siguientes comandos
$> sudo apt-get update
$> sudo apt install gnuradio
Eso tendría que descargar e instalar la V3.7. Anda fijándote que se esté instalando esa versión, sino cancela todo y arrancá nuevamente. Luego instalate swig con lo siguiente
$> sudo apt install swig
$> sudo ldconfig
Luego de todo esto hay que ver si tenes cmake instalado para instalar el módulo isdbt. Lo podes instalar con esto.
$> sudo apt install cmake
Luego instala el módulo siguiendo la letra o los pasos en el git.
Saludos,
GG