Same as previous commit : failed gitignore must have removed these files. Putting them back.