Re-add old stuff to .gitignore