some setting to make vagrant work