Troubleshooting VBoxVmService – Windows Service For Running VirtualBox VMs

It looked as if it could not propagate an environment variable pointing to the location of the file with my VMs settings to the VirtualBox command-line interface, so the latter kept looking for it in the system profile directory. Worked around by copying the file there; now have a small Ubuntu server running quietly in the background.