Fixing some bugs in vagranfile