Use deb from vagrant's website