fix dist.ini and .gitignore