===> Cleaning for makeindexk-2.17nb1