===> Cleaning for R-stabledist-0.7.1