Fix typo in Ubuntu Vagrantfile