Someone here uses Linux on Mac? If so, how do you prefer to do the virtualization, with Parallels or VirtualBox? Or maybe without a virtual machine