Changed names of ARM binaries.