trivial addition to gitignore