Rename the general-purpose "Vagrantfile" (again).