Fix ARM compilation