Remove problem stuff from Vagrantfile