4624735 fix ARM build

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