A few other .gitignore changes and .lib updates