You cannot submit source code to an autobuilder and have it built with gcc 4.72 and thumb compiled that I am aware of . Correct me if I'm wrong.