diff --git a/development/gnome-inform7/doinst.sh b/development/gnome-inform7/doinst.sh
index 6bacbd07f6..d13dcaa004 100644
--- a/development/gnome-inform7/doinst.sh
+++ b/development/gnome-inform7/doinst.sh
@@ -14,6 +14,6 @@ fi
 
 if [ -e usr/share/icons/hicolor/icon-theme.cache ]; then
   if [ -x /usr/bin/gtk-update-icon-cache ]; then
-    /usr/bin/gtk-update-icon-cache usr/share/icons/hicolor >/dev/null 2>&1
+    /usr/bin/gtk-update-icon-cache -f usr/share/icons/hicolor >/dev/null 2>&1
   fi
 fi