RE: ARM vs THUMB builds