updates to MIRACL module