Re: [Patch] Build fix for ARM