Fix up a few minor issues on the DevVM with VirtualBox