A Wercker box for running GCC ARM Embedded