Depending on stable revision of the ARM toolkit