Question about the hello program

I reported the same problem with the Arty here, but have not seen any response yet. My guess is that a bug has been introduced into the most recent toolchain on git.I got this problem only after updating the toolchain. Despite what the output is saying, the upload does not at all appear to have been successfull.