6fc767 Fix tools in x86_64

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