cc6443 Fix tools build in x64_64

Authored and Committed by Pablo Greco a year ago
    Fix tools build in x64_64
    
        
file modified
+3 -0