a few updates for vagrant