96b7fc0 Another build fix for ARM

Authored and Committed by tpopela 6 years ago
    Another build fix for ARM
    
        
file added
+13
file modified
+3 -0