Use always-up-to-date box from vagrant cloud; solve vagrant up connection issues