cc6443 Fix tools build in x64_64

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