Fix the filename of the Ubuntu build.

The actual file *is* an x86_64 build.