===> Cleaning for hs-texmath-0.8nb18