马斯克旗下太空探索公司SpaceX升级某个软件，从而绕过巴西最高法院的禁令。