Linux virtual desktop machines