Ultimate in remote tech support: Updating software on the Mars rover