restore some unintentionally removed gitignore lines