985be36 minor bugfix - workaround for #500594 + tool path if needed

Authored and Committed by remi 15 years ago
    minor bugfix - workaround for #500594 + tool path if needed
    
        
file modified
+3 -2
file modified
+17 -3