Fix build on ARM