8c5ff3c fix new externals' names

Authored and Committed by dtardon 6 years ago
    fix new externals' names
    
        
file modified
+4 -4