Some missed changes to .gitignore, and bumping build tools to 9+