File list (Check if you may need any files):
miracl
......\aesgcm.txt
......\amd64.txt
......\arm.txt
......\borland.txt
......\config.c
......\cygwin.txt
......\doubig.txt
......\double.txt
......\edwards.txt
......\exe
......\...\deciph.exe
......\...\enciph.exe
......\...\fact.exe
......\...\private.key
......\...\public.key
......\fastgf2m.txt
......\first.txt
......\float.txt
......\free
......\....\factor.exe
......\....\ratcalc.exe
......\....\read.txt
......\include
......\.......\big.h
......\.......\brick.h
......\.......\crt.h
......\.......\ebrick.h
......\.......\ebrick2.h
......\.......\ec2.h
......\.......\ecn.h
......\.......\flash.h
......\.......\floating.h
......\.......\gf2m.h
......\.......\miracl.h
......\.......\mirdef
......\.......\MIRDEF.AMD
......\.......\mirdef.arm
......\.......\mirdef.ash
......\.......\mirdef.atm
......\.......\mirdef.bfp
......\.......\mirdef.bpp
......\.......\mirdef.bs
......\.......\mirdef.ccc
......\.......\mirdef.cm
......\.......\mirdef.dll
......\.......\mirdef.gcc
......\.......\mirdef.gen
......\.......\mirdef.gfp
......\.......\mirdef.h
......\.......\mirdef.h16
......\.......\mirdef.h32
......\.......\mirdef.h64
......\.......\mirdef.haf
......\.......\mirdef.hio
......\.......\mirdef.hpc
......\.......\mirdef.ibe
......\.......\mirdef.kep
......\.......\mirdef.lnx
......\.......\mirdef.mik
......\.......\mirdef.mip
......\.......\mirdef.mmm
......\.......\mirdef.ol
......\.......\mirdef.ppc
......\.......\mirdef.scr
......\.......\mirdef.sjc
......\.......\MIRDEF.SPR
......\.......\mirdef.tst
......\.......\mirdef.w64
......\.......\zzn.h
......\itanium.txt
......\kcmcomba.txt
......\lib
......\...\bc32doit.bat
......\...\bcldoit.bat
......\...\bcxdoit.bat
......\...\gcdoit.bat
......\...\linux
......\...\linux64
......\...\miracl.mak
......\...\ms32doit.bat
......\...\ms64doit.bat
......\...\msiodoit.bat
......\...\msldoit.bat
......\linux.txt
......\mac.txt
......\makemcs.txt
......\managed.txt
......\manual.doc
......\mex.c
......\msvisual.txt
......\powerpc.txt
......\problems.txt
......\readme.txt
......\smartmip.txt
......\source
......\......\amd64.mcs
......\......\arm.mcs
......\......\avr.mcs
......\......\avr2.mcs