Why was dist.ini updated?