Let's try a proper Vagrantfile this time.