Index: server/common/oursrc/execsys/upd-execsys
===================================================================
--- server/common/oursrc/execsys/upd-execsys	(revision 140)
+++ server/common/oursrc/execsys/upd-execsys	(revision 141)
@@ -65,4 +65,5 @@
 	foreach my $ext (split " ", $exts) {
 		$map{$ext} = $type;
+		$map{uc($ext)} = $type;
 	}
 }