Add Virtualbox to the name of the .ova file as a hint to those
downloading it...