Slight change to Vagrant config file to work with version 1.3.1.