added files missed by gitignore for #376