The same USB cable was used in both cases, but tried a different one anyway. No difference.
Eventually got it to upload from the Mac again, after getting a few other types of errors first (getsync, getparam protocol error). Not sure what change made the difference.