Use correct package name for 64-bit Linux.