feature: we now support DSO files whose names are not in the form "libXXX.so". thanks yinyinbigdata for the original patch in #4.