Thank you for your advice.
I hope someone will notice it, and maybe, I won't have to do it.
I remember when this game was released for Linux in 2007, but I didn't buy it. I didn't know it had single-player mode. Many Linux users probably don't know a Linux version existed because Wikipedia...