Fix compilation failures on ARM (Issue #237)

Possible fix for issue #237