--- a/packaging/linux-installer.inc.in	Thu Jul 03 10:43:39 2014 +0200
+++ b/packaging/linux-installer.inc.in	Thu Jul 03 11:01:33 2014 +0200
@@ -206,6 +206,20 @@
   fi
 }
 
+deinstall_etc()
+{
+  # FIXME: delete all files created by the application.
+  echo "Removing certificate lists from: ${instdata_path}:"
+  for file in "$instdata_path"/list-*.txt ; do
+    echo "Deleting $file ..."
+    rm "$file"
+  done
+  rm_empty_dirs "$instdata_path"
+  echo "Removing installation configuration: $instcfg_file ..."
+  rm "$instcfg_file"
+  rm_empty_dirs "$instcfg_path"
+}
+
 deinstall()
 {
   if [ "${oldinstcfg[PREFIX]}" ] ; then
@@ -220,8 +234,7 @@
         rm "$path" || echo >&2 "WARNING: Could not delete: '$path'!"
       done
       rm_empty_dirs "$deinstdir"
-      echo "Removing installation configuration from: $instcfg_file ..."
-      rm "$instcfg_file"
+      deinstall_etc
       echo "Deinstallation finished."
   else
     echo "No current installation found!  No harm done."