[Bug 26614] ARM compilation fails