updates to vagrant settings