Ubuntu's PPA for vagrant is too outdated