Re-normalize Vagrantfile