fooled again by github's default .gitignore