.gitignore no longer ignores library-files