I know there is a student version, available for free through the academic partner program. I've downloaded that, but it's called student.exe and looks like Windows-only. I know the full version runs on Mac (command-line only). I have a file called xp7.8_macos_x86_64_setup.tar which installs and runs ok. But many of my students use Mac (potentially also Linux). So, is there a way to make this work as a student version?