add .gitignore again, and platforms/