fixes to MIRACL module