dist.ini updated with encoding informations