Readd files to ignore

I think these got removed accidentally in a merge.