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.