Fix .gitignore with the new name.

This was forgotten in d738ddfdf1be3aa824ec9364a3ac38daf066f4e8.