don't delete .gitignore file in platforms dir