CTAN will drop the tools/ tree