I got it compiled (if anyone is interested) with the attached rough patch. Here are the steps I took:
GNUR=gnuradio-3.7.8
tar -zxf $GNUR.tar.gz
# apply patch
[ -d $GNUR/build ] || mkdir $GNUR/build
cd $GNUR/build
cmake \
-DENABLE_DEFAULT=False \
-DENABLE_VOLK=True \
-DENABLE_GNURADIO_RUNTIME=True \
-DENABLE_GR_BLOCKS=True \
-DENABLE_GR_FFT=True \
-DENABLE_GR_FILTER=True \
-DENABLE_GR_ANALOG=True \
-DENABLE_GR_AUDIO=True \
-DENABLE_GR_CHANNELS=True \
-DENABLE_GR_CTRLPORT=True \
-DENABLE_GR_DIGITAL=True \
-DENABLE_GR_FCD=False \
-DENABLE_GR_FEC=True \
-DENABLE_GR_NOAA=True \
-DENABLE_GR_PAGER=True \
-DENABLE_GR_VOCODER=True \
-DENABLE_GR_WAVELET=True \
-DENABLE_GR_UTILS=True \
-DENABLE_GRC=True \
-DENABLE_GR_DTV=True \