updating MIRACL module with thesame exp. optimizations