462473 fix ARM build

Authored and Committed by Daniel Drake 7 years ago
    fix ARM build
    
        
file modified
+5 -2