===> Cleaning for tex-vhistory-1.8.0