reset Vagrantfile to use trusty instead of precise.