Vagrantfile: 4GB for vbox too