Vagrantfile: 50000 --> 5000