update:

fixed a bug in soft linking libraries.
gzipped users manual.