.gitignore does not ignore libraries any more