22d3cd1 Fix build on armv7hl

Authored and Committed by pbrobinson 9 years ago
    Fix build on armv7hl
    
        
file modified
+7 -3