Vagrantfile now uses trusty64.box