Don't duplicate names when defining new machines in VFile