fixup! Fix .gitignore