Re: ARM vs THUMB builds