factor out rust download name to make it easier to change between distributed rust binary versions