revert dist.ini