--- build-gnuradio.orig	2013-11-14 22:55:11.536081955 +0100
+++ build-gnuradio	2013-11-14 22:55:50.728275463 +0100
@@ -585,7 +585,7 @@
 		sudo apt-get -y purge 'libgnuradio*' >>$LOGDEV 2>&1
 		sudo apt-get -y purge 'python-gnuradio*' >>$LOGDEV 2>&1
 		case `cat /etc/debian_version` in
-		*6.0*|*wheezy*|*sid*|*7.1*|*7.0*)
+		*6.0*|*wheezy*|*sid*|*7.2*|*7.1*|*7.0*)
 			PKGLIST="libfontconfig1-dev libxrender-dev libpulse-dev swig g++
 			automake autoconf libtool python-dev libfftw3-dev
 			libcppunit-dev libboost-all-dev libusb-dev libusb-1.0-0-dev fort77