Thanks! This works for me with VMWare Player 4 and Ubuntu 13.04

But can I put in a word for



sudo sed -i '127s/.*/ .remove = vmci_remove_device,/' driver.c

rather than creating temp...