Oversight in commit 818fd4a6. While at it, sync order of file list in .gitignore with those in the Makefile.
