6fc767 Fix tools in x86_64

Authored and Committed by Pablo Greco 3 years ago
    Fix tools in x86_64
    
        
file modified
+3 -0