Remove old ipdb.ini.dist.