Rename the general-purpose "Vagrantfile".