Tweaked hostname and machine name as it appears in VirtualBox