Name of the generated .box file is now based on the boxer-id rather than the vm-name, in case they are different.