Add a missing file to the .gitignore.
Pick the compiler the "Travis way".