External library cleanup of naughty files, and associated gitignore changes.