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