===> Cleaning for tmake-1.13