Add also these new files (I forgot to add them to the previous commit)