1) added SHARED_LIB_EXT differentiation for mac os x (*.dylib and not *.so)
2) fixed the reference to miracl headers, must be to the installed miracl and not the local copy.