diff -Nru vlc-2.0.8/debian/changelog vlc-2.0.8/debian/changelog
--- vlc-2.0.8/debian/changelog	2013-08-01 12:20:34.000000000 +0000
+++ vlc-2.0.8/debian/changelog	2013-10-27 00:02:40.000000000 +0000
@@ -1,3 +1,9 @@
+vlc (2.0.8-1+rpi1) jessie-staging; urgency=low
+
+  * Build with gcc 4.7 to (hopefully) avoid ICE
+
+ -- Peter Michael Green <plugwash@raspbian.org>  Sun, 27 Oct 2013 00:02:28 +0000
+
 vlc (2.0.8-1) unstable; urgency=low
 
   * New upstream release.
diff -Nru vlc-2.0.8/debian/control vlc-2.0.8/debian/control
--- vlc-2.0.8/debian/control	2013-07-25 14:07:05.000000000 +0000
+++ vlc-2.0.8/debian/control	2013-10-27 00:08:26.000000000 +0000
@@ -102,7 +102,9 @@
                libzvbi-dev (>= 0.2.28),
                lua5.1,
                pkg-config,
-               zlib1g-dev
+               zlib1g-dev,
+               gcc-4.7,
+               g++-4.7
 Standards-Version: 3.9.4
 Homepage: http://www.videolan.org/vlc/
 Vcs-Git: git://anonscm.debian.org/pkg-multimedia/vlc.git
diff -Nru vlc-2.0.8/debian/rules vlc-2.0.8/debian/rules
--- vlc-2.0.8/debian/rules	2013-07-25 14:07:05.000000000 +0000
+++ vlc-2.0.8/debian/rules	2013-10-27 00:02:52.000000000 +0000
@@ -8,6 +8,9 @@
 VERSION = $(shell dpkg-parsechangelog|sed -n 's/^Version: //p')
 DEBIAN_VERSION = $(shell echo $(VERSION)|sed -nr 's/[^:]+://; s/.*-([^-]+$$)/\1/p')
 
+export CC=gcc-4.7
+export CXX=g++-4.7
+
 ifeq ($(DEB_BUILD_GNU_TYPE),$(DEB_HOST_GNU_TYPE))
 confflags := --build=$(DEB_BUILD_GNU_TYPE)
 else