Re: [PATCH] allow both >=3.7.4 and git version of GnuRadio