fix .gitignore to allow Lib push