Rename download Trinity to download-Trinity.rm