diff --git a/srcpkgs/vlc/patches/vlc-1.1.13-skin2_theme_loader.patch b/srcpkgs/vlc/patches/vlc-1.1.13-skin2_theme_loader.patch
new file mode 100644
index 00000000000..d488a8ee406
--- /dev/null
+++ b/srcpkgs/vlc/patches/vlc-1.1.13-skin2_theme_loader.patch
@@ -0,0 +1,29 @@
+--- modules/gui/skins2/src/theme_loader.cpp	2012-02-02 17:52:07.000000000 +0100
++++ modules/gui/skins2/src/theme_loader.cpp	2012-02-02 17:52:19.000000000 +0100
+@@ -768,7 +768,7 @@
+     {
+         void *toClose = currentGzVp;
+         currentGzVp = NULL;  currentGzFd = -1;
+-        return gzclose( toClose );
++        return gzclose( (gzFile) toClose );
+     }
+     return -1;
+ }
+@@ -777,7 +777,7 @@
+ {
+     if( currentGzVp != NULL && fd != -1 )
+     {
+-        return gzread( currentGzVp, p_buffer, i_length );
++        return gzread( (gzFile) currentGzVp, p_buffer, i_length );
+     }
+     return -1;
+ }
+@@ -786,7 +786,7 @@
+ {
+     if( currentGzVp != NULL && fd != -1 )
+     {
+-        return gzwrite( currentGzVp, const_cast<void*>(p_buffer), i_length );
++        return gzwrite( (gzFile) currentGzVp, const_cast<void*>(p_buffer), i_length );
+     }
+     return -1;
+ }