builder/virtualbox: whitespace