ddl files have strange names when generated with mingw

diff --git a/org/simgrid/msg/Msg.java b/org/simgrid/msg/Msg.java
index d722813..895fadf 100644 (file)
--- a/org/simgrid/msg/Msg.java
+++ b/org/simgrid/msg/Msg.java
@@ -49,6 +49,10 @@ public final class Msg {
                        filename = name+".dll";
                        in = Msg.class.getClassLoader().getResourceAsStream(Path+filename);
                }  
+               if (in == null) {
+                       filename = "lib"+name+".dll";
+                       in = Msg.class.getClassLoader().getResourceAsStream(Path+filename);
+               }  
                if (in == null) {
                        filename = "lib"+name+".dylib";
                        in = Msg.class.getClassLoader().getResourceAsStream(Path+filename);