--- a/modules/gui/skins2/src/theme_loader.cpp	2012-02-02 17:52:07.000000000 +0100
+++ b/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;
 }