fix bug in Vagrantfile

A lack of testing in previous commits introduced these bugs

This commit squashes them