fix github's .gitignore which resulted in missing files