fix outdated dist.ini
update mailmap