change vagrant setting slightly