Small fix to the vagrant bootstrap