--- /usr/bin/galrey~	2003-05-14 11:00:05.000000000 +0200
+++ /usr/bin/galrey	2003-10-03 10:28:58.000000000 +0200
@@ -157,6 +157,7 @@
             last;
         }
 
+        next if ($filename =~ /^$c_thumbprefix/);
         $prev_ext = $c_extension;
         push(@filenames, $filename);
     }