--- /dev/null
+--- celestia-1.3.1/src/celutil/resmanager.h.orig 2003-03-23 20:24:03.000000000 +0100
++++ celestia-1.3.1/src/celutil/resmanager.h 2004-05-27 10:20:35.976730904 +0200
+@@ -72,7 +72,7 @@
+ {
+ ResourceHandle h = handles.size();
+ resources.insert(resources.end(), info);
+- handles.insert(ResourceHandleMap::value_type(info, h));
++ handles.insert(typename ResourceHandleMap::value_type(info, h));
+ return h;
+ }
+ }
+@@ -105,7 +105,7 @@
+ else
+ {
+ resources[h].state = ResourceLoaded;
+- loadedResources.insert(NameMap::value_type(resources[h].resolvedName, resources[h].resource));
++ loadedResources.insert(typename NameMap::value_type(resources[h].resolvedName, resources[h].resource));
+ }
+ }
+ }