Vagrant files and settings