Some files were ignored by .gitignore, these files belong to the last
update.