add platforms/ to .gitignore