Fix compilation on ARM. Closes #2204.