Agreed that it seems redundant. Is there a reference .deb file we can just hook into here instead? Ideally we'd keep all docker development consistent that way rather than have a bunch of hacked Vagrantfiles floating around.