I just used VirtualBox by Oracle with Linux Mint. Seems less buggier and I can share files with Dropbox, etc.