Add extra dist-derived file to gitignore