In fact it doesn't really matter what version he has, I have both, and the Win version also gives a lot of trouble running directly on modern PCs. Most modern monitors can't handle the lower res game screen.
Solution for the Win version is also dosbox, but then with W3.1 running in it.
Or VPC with W3.1 ...............