Make Configure work again after eliminating files.