What do you use cintrix? Linux? TIA as I am about to buy a new computer and having difficulty choosing the right OS