do not overwrite existing default Vagrantfile