Modifying the settings of a virtual machine