INI configuration for Vagrantfile