Properly passing server arguments in vagrant config