1.0.18.14: Tweak .gitignore for 2 Linux/PPC files.