Rebuilding Vagrant box with newer Ubuntu (fixes #2327)