c62ee25 Fix ARM build

Authored and Committed by lkundrak 9 years ago
    Fix ARM build
    
        
file modified
+3 -0