===> Cleaning for tex-eijkhout-2016