Oops, added Vagrantfile to .gitignore.