.gitignore causes problems about portability