I use MX-15 Debian Jessie 32 bit. Thanks for the information that it is a 64 bit game. That's why I know I don't need to download it. This reduces download traffic, saves me time and saves my nerves.
