Problema y solución: Sobre instalación de GNU Radio en docker