I have a windows version I got from school but there was no option to download a linux version.  How would I get the linux version?