Require gnuradio 3.7 or later.