===> Cleaning for miracl-5.4